Boolean algebra - PDFSEARCH.IO - Document Search Engine

Boolean algebra
Results: 1241

#	Item
11	A tetrachotomy for positive first-order logic without equality Florent Madelaine Barnaby Martin Add to Reading List Source URL: www.fields.utoronto.ca Language: English - Date: 2011-07-07 14:48:20 Mathematics Theoretical computer science Abstract algebra FO Finite model theory Sheaf Boolean satisfiability problem Uniform space
12	ACQUIRING APPROXIMATE REPRESENTATIONS OF SOME SPATIAL RELATIONS Vincent B. Robinson (NET) Department of Surveying Engineering The University of Calgary Add to Reading List Source URL: mapcontext.com Language: English - Date: 2008-08-30 00:16:48 Logic Mathematical logic Logic in computer science Artificial intelligence Fuzzy logic Philosophy Non-classical logic Fuzzy concept Fuzzy set Causality Boolean algebra
13	Abstract Features in Feature Modeling Thomas Th¨um∗ , Christian K¨astner† , Sebastian Erdweg† , and Norbert Siegmund∗ ∗ University † Philipps of Magdeburg, Germany Add to Reading List Source URL: wwwiti.cs.uni-magdeburg.de Language: English - Date: 2011-06-11 06:47:51 Logic Abstraction Propositional calculus Syntax Mathematics Logic in computer science Formal methods Feature model Semantics Product family engineering Software Product Lines Online Tools Boolean algebra
14	SETS: A Basic Set Theory Package Francis J. Wright School of Mathematical Sciences Queen Mary and Westfield College University of London Mile End Road, London E1 4NS, UK. Add to Reading List Source URL: reduce-algebra.com Language: English - Date: 2008-12-30 11:47:48 Mathematical logic Mathematics Logic Boolean algebra Predicate logic Relational operator Predicate Boolean data type Algebra of sets Subset Equality Logical disjunction
15	Part 2: First-Order Logic 2.1 Syntax 2.2 Semantics 2.3 Models, Validity, Satisfiability 2.4 Algorithmic problems 2.5 Normal forms and Skolemization Add to Reading List Source URL: people.mpi-inf.mpg.de Language: English - Date: 2009-06-05 11:15:41 Logic Mathematical logic Mathematics Automated theorem proving Propositional calculus Rules of inference Resolution Boolean algebra Literal First-order logic SLD resolution Horn clause
16	CS61c: Representations of Combinational Logic Circuits J. Wawrzynek October 12, 2007 1 Add to Reading List Source URL: www-inst.eecs.berkeley.edu Language: English - Date: 2007-10-14 23:24:26 Logic gates Mathematics Mathematical logic Algebra Boolean algebra Logic in computer science Algebraic logic Circuit complexity Canonical normal form Combinational logic XOR gate Digital electronics
17	Data Mining and Knowledge Discovery manuscript No. (will be inserted by the editor) Clustering Boolean Tensors Saskia Metzler · Pauli Miettinen Add to Reading List Source URL: people.mpi-inf.mpg.de Language: English - Date: 2015-06-15 12:06:11 Algebra Mathematics Multilinear algebra Binary operations Linear algebra Multivariate statistics Cluster analysis Tensor Higher-order singular value decomposition Outer product Matrix Boolean algebra
18	Dresden, September 23rd, 2015 SAFETY CONSTRAINTS AND ETHICAL PRINCIPLES IN COLLECTIVE DECISION-MAKING SYSTEMS Francesca Rossi Add to Reading List Source URL: ki2015.computational-logic.org Language: English - Date: 2015-10-02 05:44:22 Economy Business Neuroscience Consumer theory Preference Ethics Intelligent agent Dresden Autonomous car Boolean algebra Toyota Decision-making
19	Join Size Estimation on Boolean Tensors of RDF Data Saskia Metzler Pauli Miettinen Max-Planck-Institut für Informatik Add to Reading List Source URL: www.www2015.it Language: English - Date: 2015-05-15 11:15:05 Algebra Computing Mathematics Tensors Query languages Semantic Web Binary operations SPARQL Resource Description Framework Tensor product Tensor Kronecker product
20	Microsoft PowerPoint - perspCompatibility Mode] Add to Reading List Source URL: resources.mpi-inf.mpg.de Language: English - Date: 2012-12-18 03:41:56 Logic Mathematical logic Mathematics Propositional calculus Automated theorem proving Boolean algebra Syntax Boolean satisfiability problem Clause Valuation Propositional variable Unit propagation